An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells

Still in its early development stages, the technology of solid oxide fuel cells is one of the important topics in modern engineering. One research direction is to design robust and accurate control strategies for this kind of fuel cell based on models spatially discretized into ordinary differential equations that describe also non-stationary system behavior. To allow users to employ new models and techniques for SOFCs easily in combination with various verified tools, we implement the environment VeriCell. It features an intuitive graphical interface for construction of fuel cell models from predefined building blocks. It is based on the framework UniVerMeC which provides a unified access to various verified arithmetics and algorithms. New models can be added to VeriCell as they are being developed, for which purpose a plug-in based interface is adopted. In this paper, we present the environment, with the focus on the software design and verified simulation of initial value problems. The main features of the software are demonstrated on examples modeled and simulated in VeriCell.